Search Results
Bruno Gavranović: "Optics vs Lenses, Operationally"
Bruno Gavranovic: Space-time tradeoffs of lenses and optics via higher category theory
CyberCat seminar - Bruno Gavranović - Generalised open learners
Lecture 11: Learning Functors using Gradient Descent (English)
Categories for AI 1: Why Category Theory? By Bruno Gavranović
Eigil Rischel: Dependent Optics
Jules Hedges: "Lenses and their generalisations: a guide to the design space"
Glynn Winskel: "Making concurrency functional"
Profunctor optics, a categorical update
Teaching Optics through Conspiracy Theories by Bartosz Milewski #FnConf 2022
Leo McElroy: "Making Microworlds: A Framework for Making Sense by Making Things"
Kris Brown: Combinatorial Representation of Scientific Knowledge